#! /bin/bash

rm -rv .kernel/
cp -rv kernel/ .kernel/
